COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\⊂'200455\turn on flags outovl option, nest⊃quote, multiarg macros, lf sim,
C00011 ENDMK
C⊗;
\⊂'200455;\turn on flags outovl option, nest⊃quote, multiarg macros, lf sim,
\⊂'010000;\⊂'1000002;\N
\sgk just, h&H.
\M0BASL30;\
\M1BASB30;\ 0 and 1 main text and math fonts.
\M2GRFX25;\ graphics font for sqrt, boxes and drawings
\M3BDR25;\ Small math font for sub-superscripts.
\M4MATH55;\ Big  π, sigma, .
\M5GRKL30;\ Medium greek, for use with math font.
\
\∞ceq[\p\+∀\qa\+a\qa\-a\-a\∧'777777;\→a\←.\∧'-1000000;\+a\→.]\
\∞Ceq[\p\+∀\qa\+a\qb\Qb\Qa\-b\-b\∧'777777;\→a\←.\∧'-1000000;\+a\→.]\
\     ;\8jfrx(a,b)[\P\#\Q,\F0\←h\F3\-h\P\+,\→,⊗a⊗\p\F0\q,\*=4;\/=3;\
\     ;\P\¬.\→./\p\*=3;\/=4;\
\     ;\Q,\P\¬.\→.\p\¬,\→,\F3⊗b⊗\q,\G\p]\
\∞jdot[\f2#]\
\∞jddd[\P\←h\/=3;\+,\Q,\→,\#\F3 \f1. \f1. \f1. \G\q,\p]\
\∞hafln[\P\←H\*=1;\/=2;\y∀\p]\
\8obind(n,a)[\opsh[⊗a⊗]\∂⊗n⊗←psh;]\8opop(n)[\∂psh←⊗n⊗;\∂←psh;]\
\∞slash[\P\←.\-=5;\→.∪\←.\-=6;\→.\←,\+H\→,\p\-H\?slash;]\
\∞bar[α\-wα\?bar;]\
\8jnrt(n,a)[\Qt\P\#\Q,\!obind(aa,(0⊗a⊗));\
\     ;\F2\3aa;\→t\4aa;\-=3;\+t\~H\-H\P\
\     ;\4aa;\-=8;\¬=0;\+,\→,\f0-\←.\-=3;\→.≥\+=1;\→.≥\←.\-=3;\→.\
\     ;\Q,\Q.\←,\+=10;\→,\←.\-=15;\→.\F3⊗n⊗\F2\q.\q,\
\     ;\p\?slash;\P\
\     ;\/=5;\P\+.\→.\p\*=5;\+,\→,\p\!slash;\
\     ;\Q.\1aa;\→t\2aa;\+=1;\+t\~wα\-wα\+=4;\→t\
\     ;\←,\-=11;\→,\←.\-=5;\→.\←t\?bar;\P\+.\→.\p\!bar;\q.\
\     ;\q,\P\F0⊗a⊗\p\!opop(aa);\G\p\qt]\
\∞vwall[\P\Q.~\←,\+H\→,\q.\p\-H\?vwall;]\
\∞hwall[α\-wα\?hwall;]\
\8jbox(a)[\Qa\Qt\P\#\Q,\!obind(aa,(0⊗a⊗));\
\     ;\F2\←.\+w~\→a\
\     ;\F2\4aa;\¬=0;\+,\+=4;\→,\1aa;\¬=0;\Q.\Q,\
\     ;\3aa;\→t\4aa;\+=1;\+t\~H\-H\?vwall;\P\+,\→,\p\!vwall;⊂\
\     ;\1aa;\→t\2aa;\+=1;\+t\~wα\-wα\?hwall;\P\+.\→.\p\!hwall;⊃\q,\q.\←,\-H\→,\
\     ;%\1aa;\→t\2aa;\+=1;\+t\~wα\-wα\?hwall;\P\+.\→.\p\!hwall;$\←.\-wα\→.\←,\+H\→,\
\     ;\3aa;\→t\4aa;\+=1;\+t\~H\-H\?vwall;\P\+,\→,\p\!vwall;\
\     ;\q,\←a\→.\F0⊗a⊗\←.\+w~\→.\!opop(aa);\G\p\qt\qa]\
\8jbar(a)[\Qt\P\#\!obind(aa,(0⊗a⊗));\
\     ;\Q.\Q,\F2\3aa;\+,\→,\
\     ;\1aa;\→t\2aa;\+=1;\+t\~wα\-wα\?hwall;\P\+.\→.\p\!hwall;\q,\q.\
\     ;\F0⊗a⊗\!opop(aa);\G\p\qt]\
\8jsub(a)[\P\#\←h\/=2;\Q,\¬,\→,\F3⊗a⊗\q,\G\p]\
\8jsab(a,b)[\Qt\#\P\Q,\Q,\Q.\←h\/=2;\P\+,\→,\←.\+=5;\→.\F3⊗a⊗\←.\→t\
\     ;\p\q.\q,\¬,\→,\F3⊗b⊗\←t\~.\→.\q,\p\G\qt]\
\8jsup(a)[\P\#\←h\/=2;\Q,\+,\→,\F3⊗a⊗\q,\G\p]\
\∞jsig[\P\Q,\#\F4\←h\/=4;\¬,\→,\f3 $\F3 \G\q,\p]\
\∞jpi[\P\Q,\#\F4\←h\/=4;\¬,\→,\f3 P\F3 \G\q,\p]\
\8jexp(a,b)[\P\#\Qa\Q,\!obind(aa,(0⊗a⊗));\!obind(bb,(3⊗b⊗));\3bb;\/=2;\→a\
\     ;\3aa;\-a\+,\F0⊗a⊗\→,\F3⊗b⊗\q,\qa\G\!opop(bb);\!opop(aa);\p]\
\8jsum(a,b)[\!jbma((⊗a⊗),(\f4$),(⊗b⊗));]\
\8jprd(a,b)[\!jbma((⊗a⊗),(\!jpi;),(⊗b⊗));]\
\8jR(a,b)[\!jbma((⊗a⊗),(\!jsR;),(⊗b⊗));]\
\8jlim(a)[\!jbma((⊗a⊗),(\#\F1lim\G),);]\
\8jdiv(a,b)[\Q,\Qt\#\P\f3 \Q.\!jmid((⊗a⊗),(⊗b⊗));\←,\-=1;\→,\
\←.\→t\p\→.\¬t\F2\-wα\?bar;\
\     ;\P\+.\→.\p\!bar;\f3 \p\G\qt\q,]\
\8jvb(a,b)[\#\P\Qa\F4\-∀\-h\→a\←.\+=3;\U.aH∀\qa\p\Q.\!jsub(( ⊗a⊗));\q.\N
\!jsup(( ⊗b⊗));\G]\N
\8jmid(a,b)[\P\#\Qa\Q,\Q.\!obind(aa,(0⊗a⊗));\!obind(bb,(0⊗b⊗));\
\     ;\←h\/=4;\→a\3bb;\-a\¬,\→,\
\     ;\2aa;\→a\2bb;\~a\→a\2bb;\¬a\/=2;\+.\→.\F0⊗b⊗\←h\/=2;\q.\q,\Q.\Q,\+,\→,\4aa;\+,\→,\
\     ;\2aa;\¬a\/=2;\+.\→.⊗a⊗\!opop(bb);\!opop(aa);\q,\q.\←a\+.\→.\qa\G\p]\
\8jbin(a,b)[\!jsB[(];\!jmid((⊗a⊗),(⊗b⊗));\!jsB[)];]\
\8jbma(a,m,b)[\P\Qa\#\!obind(aa,(3⊗a⊗));\!obind(bb,(3⊗b⊗));\!obind(cc,(.⊗m⊗));\Q,\N
\     ;\3cc;\+,\→,\4bb;\+,\→,\
\     ;\2aa;\→a\2bb;\~a\→a\2cc;\~a\→a\2bb;\¬a\/=2;\Q.\+.\→.\N
\     ;\F3⊗b⊗\q.\q,\Q.\Q,\4cc;\/=2;\¬,\→,\3aa;\¬,\→,\2aa;\¬a\/=2;\+.\→.\F3⊗a⊗\q,\N
\     ;\q.\G\Q.\2cc;\¬a\/=2;\+.\→.\
\     ;⊗m⊗\!opop(cc);\!opop(bb);\!opop(aa);\q.\←a\+.\→.\qa\p]\N
\N\8jbma(a,m,b)[\P\Qa\#\oaa[3⊗a⊗]\obb[3⊗b⊗]\occ[.⊗m⊗]\Q,\←,\-=10;\→,\
\N\     ;\3cc;\+,\→,\4bb;\+,\→,\
\N\     ;\2aa;\→a\2bb;\~a\→a\2cc;\~a\→a\2bb;\¬a\/=2;\Q.\+.\→.\
\N\     ;\F3⊗b⊗\q.\q,\Q.\Q,\←,\-=10;\→,\
\N\     ;\4cc;\*=2;\¬,\→,\3aa;\¬,\→,\2aa;\¬a\
\N\     ;\/=2;\+.\→.\F3⊗a⊗\q,\q.\G\Q.\Q,\←,\-=10;\→,\
\N\     ;\2cc;\¬a\/=2;\+.\→.⊗m⊗\q,\q.\←a\+.\→.\qa\p]\
\8jabc(a,b,c)[\P\Qa\#\oaa[.⊗a⊗]\obb[.⊗b⊗]\occ[.⊗c⊗]\Q,\3bb;\+,\→,\4aa;\+,\→,\
\     ;\2cc;\→a\2aa;\~a\→a\2bb;\~a\→a\2aa;\¬a\/=2;\Q.\+.\→.\
\     ;⊗a⊗\q.\q,\Q.\Q,\4bb;\/=2;\¬,\→,\3cc;\¬,\→,\2cc;\¬a\
\     ;\/=2;\+.\→.⊗c⊗\q,\q.\G\Q.\2bb;\¬a\/=2;\+.\→.⊗b⊗\q.\←a\+.\→.\qa\p]\
\8jtop(a,b)[\P\Qa\#\oaa[.⊗a⊗]\obb[.⊗b⊗]\Q,\3bb;\*=3;\/=4;\+,\→,\
\     ;\2aa;\→a\2bb;\~a\→a\2aa;\¬a\/=2;\Q.\+.\→.\
\     ;⊗a⊗\q.\q,\G\Q.\2bb;\¬a\/=2;\+.\→.⊗b⊗\q.\←a\+.\→.\qa\p]\
\8jsB(a)[\P\#\F4\←h\/=6;\Q,\¬,\→,⊗a⊗\q,\G\p]\
\∞jOP[\!jsB[(];]\∞jCP[\!jsB[)];]\∞jOB<\!jsB([);>\∞jCB<\!jsB(]);>\
\8jint(a,b)[\#\F4\P\←.I\-.\/=2;\+.\Q,\Q.\→.\←H\/=3;\P\¬,\→,\F3⊗a⊗\p\*=3;\+,\→,\q.\
\     ;\F3⊗b⊗\q,\p\G]\
\∞MONTH1⊂January⊃\∞MONTH2⊂February⊃\∞MONTH3⊂March⊃\;\
\∞MONTH4⊂April⊃\∞MONTH5⊂May⊃\∞MONTH6⊂June⊃\;\
\∞MONTH7⊂July⊃\∞MONTH8⊂August⊃\∞MONTH9⊂September⊃\;\
\∞MONTH10⊂October⊃\∞MONTH11⊂November⊃\∞MONTH12⊂December⊃\;\
\8MONTHNAM(STRARG)⊂MONTH⊗STRARG⊗⊃\;\
\8CAT(A,B,C)[⊗A⊗⊗B⊗⊗C⊗]\;\
\∞DATE[\∃∀\/'1000000;\→D\
\%=31;\+=1;\P\←D\/=31;\→D\%=12;\+=1;\P\←D\/=12;\+=1964;\→D\
\qE\qF\!CAT(\\!MONTH,\DE,;); \DF, \DD]\;\